Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Stack Allocation
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
๐งชCompiler Testing
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refineryโs Go Code, No Rust Required.
๐Stack Data Structures
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐ก๏ธSecurity Type Systems
Flag this post
๐ Go Faster: Cutting the Slack in GC with Smart Memory Allocation
๐ง Memory Allocators
Flag this post
Vectorizing for Fun and Performance
๐SIMD Programming
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Template Compilers
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐ฆAllocation Elision
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
๐ก๏ธError Handling
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท16h
๐ฑMinimal ML
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Loading...Loading more...